Complete Cuboidal Sets in Axiomatic Domain Theory
نویسندگان
چکیده
We study the enrichment of models of axiomatic domain theory. To this end, we introduce a new and broader notion of domain, viz. that of complete cuboidal set, that complies with the axiomatic requirements. We show that the category of complete cuboidal sets provides a general notion of enrichment for a wide class of axiomatic domain-theoretic structures.
منابع مشابه
Axiomatic Domain Theory
The denotational semantics approach to the semantics of programming languages interprets the language constructions by assigning elements of mathematical structures to them. The structures form so-called categories of domains and the study of their closure properties is the subject of domain theory Sco70, Sco82, Plo83, GS90, AJ94]. Typically, categories of domains consist of suitably complete p...
متن کاملAn Axiom System For the Weak Monadic Second Order Theory of Two Successors
A complete axiom system for the weak monadic second order theory of two successor funct ions , W2S , is presen ted . The axiom system consists , rough ly , of the general ized Peano axioms and of an inductile defini t ion of the fini te sets . For the proof , methods of J . R . Buchi and J . Doner are used to obtain a new decision procedure for W2S , whose proofs are easi ly formal ized . Diffe...
متن کاملProperties of Fixed Points in Axiomatic Domain Theory
Fixed points play a central role in domain theory, where, traditionally, the least-xed-point operator for continuous endofunctions on complete partial orders (cpos) is used. Recently, there has been considerable interest in developing a more general axiomatic (and order-free) account of the constructions of domain theory. Peter Freyd made an essential contribution to this programme by emphasisi...
متن کاملOn $L$-double fuzzy rough sets
ur aim of this paper is to introduce the concept of $L$-double fuzzy rough sets in whichboth constructive and axiomatic approaches are used. In constructive approach, a pairof $L$-double fuzzy lower (resp. upper) approximation operators is defined and the basic properties of them are studied.From the viewpoint of the axiomatic approach, a set of axioms is constructed to characterize the $L...
متن کاملThe Logic of Qualitative Probability
In this paper we present a theory of qualitative probability. Work in the area goes back at least to de Finetti. The usual approach is to specify a binary operator with φ ψ having the intended interpretation that φ is not more probable than ψ. We generalise these approaches by extending the domain of the operator from the set of events to the set of finite sequences of events. If Φ and Ψ are fi...
متن کامل